symbol logic